ma{-}interface{-}info($I$;$i$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$I$IdDeq($i$).2KindDeq($k$)